Real theorem provers deserve real user-interfaces
نویسندگان
چکیده
منابع مشابه
Real Theorem Provers Deserve Real User - InterfacesLaurent Th ery Yves Bertot
{This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments. Une strat egie de construction d'interfaces utilisateur pour les syst emes de preuves assist ees par ordinateur R esum e { Cet article propose une m ethode pour ajouter une interface utilisateur moderne a un syst eme de preuves assist ees par ord...
متن کاملin : User Interfaces for Theorem Provers ( UITP
In this paper we present a tool that uses the mouse to quicken some frequent operations on mathematical formulae. This tool uses a paradigm of object dragging to replace expressions by provably equivalent formulae, using a rewrite command. The paper also shows how the tool can be programmed to take new operators into account.
متن کاملA Generic Approach to Building User Interfaces for Theorem Provers
In this paper, we present the results of an ongoing eeort in building user interfaces for proof systems. Our approach is generic: we are not constructing a user interface for a particular proof system, rather we have developed techniques and tools that have been applied to several proof systems. We rst propose, and motivate, a distributed architecture , where the proof system and the interface ...
متن کاملReal-World Graphical User Interfaces
Although the age of information appliances is getting close, current remote control devices are too awkward, and we cannot control sophisticated equipments without using graphical computer terminals. We propose a new interaction technique called the Real-world GUI, where users can control real-world appliances just like performing GUI operations on graphical computer terminals, using a new inpu...
متن کاملRadical User Interfaces for Real-Time Control
This paper describes recent work which challenges the predominance of the WIMP (Windows-Icons-MenusPointers) computer interface for use in real-time situations. The results of the work have implications for the design of user-interfaces for real-time control tasks (of which musical performance and experimentation are clear examples). This paper describes the tests, the interfaces, and the resul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 1992
ISSN: 0163-5948
DOI: 10.1145/142882.143760